Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода. (Википедия)
Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Все значения словосочетания «вывод типов»Стремясь дойти до самой сути, он не любил неопределённости, вялых выводов типа «играть можно», «заслуживает внимания» или «прямого опровержения вроде не видно», и всегда старался достигнуть конкретных результатов.
– Так ты, я смотрю, кошелёк и не собираешься возвращать правообладателю? – глядя на пустой кошелёк в руках незнакомца, сделал вывод тип за рулём.